arguments building using rules of inference